Units-of-Measure Correctness in Fortran Programs
نویسندگان
چکیده
منابع مشابه
Evolving Fortran types with inferred units-of-measure
Dimensional analysis is a well known technique for checking the consistency of equations involving physical quantities, constituting a kind of type system. Various type systems for dimensional analysis, and its refinement to units-of-measure, have been proposed. In this paper, we detail the design and implementation of a units-of-measure system for Fortran, provided as a preprocessor. Our syste...
متن کاملParallel Fortran Programs
Data parallel programming stands for single threaded, global name space, and loosely synchronous parallel computation. This kind of parallel programming has been proven to be very user-friendly, easy to debug and easy to use. But this programming model is not available for most message passing multiprocessor architectures. Adaptor (Automatic Data Parallelism Translator) is a compilation system ...
متن کاملPartial Evaluation of Numerical Programs in Fortran
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples. We investigate the application of partial evaluation to numerically oriented computation in scientific and engineering applications. We present our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as e...
متن کاملMaintaining correctness in scientific programs
their lifetimes, not just when they're young. For most scientific programs, the rate of change doesn't decrease significantly even after many years. Like sharks, scientific programs that aren't moving are dead. This high rate of change is bad enough, but the problems are further exacerbated by the increased importance of cor-rectness to the scientific programmer. Most programmers can reasonably...
متن کاملRestructuring Fortran Programs for Cedar
This paper reports on the status of the Fortran translator for the Cedar computer at the end of March, 1991. A brief description of the Cedar Fortran language is followed by a discussion of the fortran77 to Cedar Fortran parallelizer that describes the techniques currently being implemented. A collection of experiments illustrate the e ectiveness of the current implementation, and point toward ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computing in Science & Engineering
سال: 2016
ISSN: 1521-9615
DOI: 10.1109/mcse.2016.17